Throughout his life, John Tyler Bonner contributed to major transformations in the fields of developmental and evolutionary biology. He pondered the evolution of complexity and the significance of randomness in evolution, and was instrumental in the formation of evolutionary developmental biology. His contributions were vast, ranging from highly technical scientific articles to numerous books written for a broad audience. This historical vignette gathers reflections by several prominent researchers on the greatness of John Bonner and the implications of his work.

Background: Expanded newborn screening generates incidental results, notably carrier results. Yet newborn screening programmes typically restrict parental choice regarding receipt of this non-health serving genetic information. Healthcare providers play a key role in educating families or caring for screened infants and have strong beliefs about the management of incidental results. Methods: To inform policy on disclosure of infant sickle cell disorder (SCD) carrier results, a mixed-methods study of healthcare providers was conducted in Ontario, Canada, to understand attitudes regarding result management (...) using a cross-sectional survey (N = 1615) and semistructured interviews (N = 42). Results: Agreement to reasons favouring disclosure of SCD carrier results was high (65.1%–92.7%) and to reasons opposing disclosure was low (4.1%–18.1%). Genetics professionals expressed less support for arguments favouring disclosure (35.3%–78.8%), and more agreement with arguments opposing disclosure (15.7%–51.9%). A slim majority of genetics professionals (51.9%) agreed that a reason to avoid disclosure was the importance of allowing the child to decide to receive results. Qualitatively, there was a perceived “duty” to disclose, that if the clinician possessed the information, the clinician could not withhold it. Discussion: While a majority of respondents perceived a duty to disclose the incidental results of newborn screening, the policy implications of these attitudes are not obvious. In particular, policy must balance descriptive ethics (ie, what providers believe) and normative ethics (ie, what duty-based principles oblige), address dissenting opinion and consider the relevance of moral principles grounded in clinical obligations for public health initiatives. (shrink)

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...) , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic. The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in CyLL (...) + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

(1941). A survey of the growth of knowledge about certain parts of the foetal cardio-vascular apparatus, and about the foetal circulation, in Man and some other mammals. Part I: Galen to Harvey. Annals of Science: Vol. 5, No. 1, pp. 57-89.

In this paper we study in details a system of two weakly coupled harmonic oscillators from the point of view of Bohm's interpretation of quantum mechanics. This system may be viewed as a simple model for the interaction between a photon and a photodetector. We obtain exact solutions for the general case. We then compute approximate solutions for the case where one oscillator is initially in its first excited state (a single photon) reaching the other oscillator in its ground state (...) (the photodetector). The approximate solutions represent the state of both oscillators after the interaction, which is not an eigenstate of the individual hamiltonians for each oscillator, and therefore the energies for each oscillator do not exist in the Copenhagen interpretation of Quantum Mechanics. We use the approximate solutions that we obtained to compute Bohmian trajectories and to study the energy transfer between the oscillators. We conclude that, even using the Bohmian view, the energy of each individual oscillator is not well defined, as the nonlocal quantum potential is not negligible even after the coupling is turned off. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in (...) CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

Soil is fragile and nonrenewable but the most basic of natural resources. It has a capacity to tolerate continuous use but only with proper management. Improper soil management and indiscriminate use of chemicals have contributed to some severe global environmental issues, e.g., volatilization losses and contamination of natural waters by sediments and agricultural fertilizers and pesticides. The increasing substitution of energy for labor and other cultural inputs in agriculture is another issue. Fertilizers and chemicals account for about 25% of the (...) production energy investment in agriculture. An additional 60% is accounted for by machinery, gasoline, electricity, and power-related inputs. Fertilizer additions to cropland are not utilized fully and significant amounts, depending on conditions, are either lost in surface runoff or leached into the ground water. The annual discharge of dissolved solids from agricultural lands to the waterways in the USA is substantial. The increasing use of herbicides in agriculture is a threat to the quality of surface and ground water, although this threat is dependent upon both the chemistry of the compound and the ecosystem in which it is used. Especially within the Third World, development of an environmental ethic and environmental laws have not kept pace with the increase in pesticide use. Above all is the severe and global problem of soil degradation currently occurring at the rate of five to seven million hectares per year. The policy and moral aspects of these issues are discussed. (shrink)

The DAMA project is an observatory for rare processes and it is operative deep underground at the Gran Sasso National Laboratory of the I.N.F.N. In particular, the DAMA/LIBRA (Large sodium Iodide Bulk for RAre processes) set-up consists of highly radiopure NaI(Tl) detectors for a total sensitive exposed mass of ≃250 kg. Recent results, obtained by this set-up by exploiting the model independent annual modulation signature of Dark Matter (DM) particles, have confirmed and improved those obtained by the former DAMA/NaI experiment. (...) A model independent evidence for the presence of Dark Matter particles in the galactic halo is cumulatively obtained at 8.2 σ C.L. No systematics or side reactions able to account for the measured modulation amplitude and to contemporaneously satisfy all the many specific requirements of the signature have been found or suggested by anyone over more than a decade. An example of one of the many possible model dependent corollary quests for the candidate particles and for the related astrophysical, nuclear and particle physics scenarios is presented considering the whole cumulative exposure. Future perspectives are shortly addressed. (shrink)